New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

TS symbolic machine expansion #201

Merged

zishkaz merged 22 commits into main from sergeyl/ts_arch

Aug 9, 2024

Collaborator

zishkaz commented Jul 29, 2024

TSExprResolver skeleton with TSSimpleValueResolver
TSInterpreter skeleton
Other miscellaneous implementations

zishkaz and others added 8 commits

July 29, 2024 13:21


          [WIP] TSTypeSystem

4c8f74b


          Enhance TSTypeSystem + jacodb version update

b15d482


          TSTypeSystem + TSInterpreter skeleton + TSSimpleValueResolver

f89c0e1


          Version hotfix

73b13bd


          Minor polishing

b8c9f43


          Remove TSTypeSystem

ff99b4c


          Remove redundant class

1cbde1e


          Remove unfinished types processing

9fba9e7

zishkaz requested a review from CaelmBleidd

July 29, 2024 10:42

github-advanced-security bot found potential problems

View reviewed changes

usvm-ts/src/main/kotlin/org/usvm/TSInterpreter.kt Fixed Show fixed Hide fixed

usvm-ts/src/main/kotlin/org/usvm/TSMachine.kt Fixed Show fixed Hide fixed

usvm-ts/src/main/kotlin/org/usvm/TSExprResolver.kt Fixed Show fixed Hide fixed

usvm-ts/src/main/kotlin/org/usvm/TSExpressions.kt Fixed Show fixed Hide fixed

usvm-ts/src/main/kotlin/org/usvm/state/TSStateUtils.kt Fixed Show fixed Hide fixed

zishkaz added 3 commits

July 29, 2024 14:34


          Detekt fix

a22bec0


          [WIP] Args location tests

ceb7ec5


          Implement parameters resolver with tests

9a6e1a6

github-advanced-security bot found potential problems

View reviewed changes

usvm-ts/src/main/kotlin/org/usvm/TSExprResolver.kt Dismissed Show dismissed Hide dismissed

usvm-ts/src/main/kotlin/org/usvm/TSInterpreter.kt Fixed Show fixed Hide fixed

usvm-ts/src/main/kotlin/org/usvm/TSInterpreter.kt Fixed Show fixed Hide fixed

usvm-ts/src/main/kotlin/org/usvm/TSInterpreter.kt Fixed Show fixed Hide fixed

usvm-ts/src/main/kotlin/org/usvm/TSInterpreter.kt Fixed Show fixed Hide fixed

usvm-ts/src/test/kotlin/org/usvm/util/TSTestResolver.kt Fixed Show fixed Hide fixed

usvm-ts/src/test/kotlin/org/usvm/util/TSTestResolver.kt Fixed Show fixed Hide fixed

usvm-ts/src/test/kotlin/org/usvm/util/TSTestResolver.kt Fixed Show fixed Hide fixed

usvm-ts/src/test/kotlin/org/usvm/util/TSTestResolver.kt Dismissed Show dismissed Hide dismissed

usvm-ts/src/test/kotlin/org/usvm/util/TSTestResolver.kt Fixed Show fixed Hide fixed


          Remove EtsMethod.localIdx method

8d8ed58

github-advanced-security bot found potential problems

View reviewed changes

usvm-ts/src/main/kotlin/org/usvm/TSInterpreter.kt Fixed Show fixed Hide fixed

CaelmBleidd requested changes

View reviewed changes

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt Outdated Show resolved Hide resolved

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt Outdated Show resolved Hide resolved

usvm-ts/src/test/kotlin/org/usvm/util/TSTestResolver.kt Outdated Show resolved Hide resolved

usvm-ts/src/test/kotlin/org/usvm/samples/Arguments.kt Outdated Show resolved Hide resolved


          [WIP] Dev sync

979e1e5

github-advanced-security bot found potential problems

View reviewed changes

usvm-ts/src/main/kotlin/org/usvm/TSExprResolver.kt Fixed Show fixed Hide fixed

usvm-ts/src/test/kotlin/org/usvm/util/TSTestResolver.kt Dismissed Show dismissed Hide dismissed

zishkaz added 2 commits

August 7, 2024 16:20


          Implement property matchers

b5d68e5


          Detekt fix

3b83125

github-advanced-security bot found potential problems

View reviewed changes

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt

@@ @@ -89,11 +89,71 @@ @@
                       )
                   }
+                  protected inline fun <reified T1 : TSObject, reified T2 : TSObject,

Check warning

Code scanning / detekt

Reports missing newlines (e.g. between parentheses of a multi-line function call Warning test

A newline was expected before 'reified T1 : TSObject'

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt Dismissed Show dismissed Hide dismissed

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt

@@ @@ -89,11 +89,71 @@ @@
                       )
                   }
+                  protected inline fun <reified T1 : TSObject, reified T2 : TSObject,
+                                        reified T3 : TSObject, reified R : TSObject>

Check warning

Code scanning / detekt

Reports mis-indented code Warning test

Unexpected indentation (26) (should be 8)

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt

@@ @@ -89,11 +89,71 @@ @@
                       )
                   }
+                  protected inline fun <reified T1 : TSObject, reified T2 : TSObject,
+                                        reified T3 : TSObject, reified R : TSObject>

Check warning

Code scanning / detekt

Reports missing newlines (e.g. between parentheses of a multi-line function call Warning test

A newline was expected before 'reified R : TSObject'

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt

@@ @@ -89,11 +89,71 @@ @@
                       )
                   }
+                  protected inline fun <reified T1 : TSObject, reified T2 : TSObject,
+                                        reified T3 : TSObject, reified R : TSObject>

Check warning

Code scanning / detekt

Rule to mandate/forbid trailing commas at declaration sites Warning test

Missing trailing comma before ">"

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt

+                  }
+                  protected inline fun <reified T1 : TSObject, reified T2 : TSObject,
+                                        reified T3 : TSObject, reified T4 : TSObject, reified R : TSObject>

Check warning

Code scanning / detekt

Reports mis-indented code Warning test

Unexpected indentation (26) (should be 8)

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt

+                  }
+                  protected inline fun <reified T1 : TSObject, reified T2 : TSObject,
+                                        reified T3 : TSObject, reified T4 : TSObject, reified R : TSObject>

Check warning

Code scanning / detekt

Reports missing newlines (e.g. between parentheses of a multi-line function call Warning test

A newline was expected before 'reified T4 : TSObject'

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt Dismissed Show dismissed Hide dismissed

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt Dismissed Show dismissed Hide dismissed

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt Dismissed Show dismissed Hide dismissed


          Refactor comment

0965ab8

CaelmBleidd requested changes

View reviewed changes

usvm-ts/src/main/kotlin/org/usvm/TSInterpreter.kt Outdated Show resolved Hide resolved

CaelmBleidd and others added 3 commits

August 9, 2024 11:41


          TypeTransformer change with null

fd5cecb


          Auto conversion for tests

00d83c1


          Remove check

7f404f1

CaelmBleidd approved these changes

View reviewed changes

zishkaz added 2 commits

August 9, 2024 17:18


          Update jacodb version

e88d50a


          Fix if branch index order

9480e9c


          Update CI

630cd7c

github-advanced-security bot found potential problems

View reviewed changes

usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt

+                              .drop(3) // drop org.usvm.samples
+                              .joinToString("/")
+                          val fileURL = javaClass.getResource("/samples/${packagePath}/${id.fileName}")

Check warning

Code scanning / detekt

Detects simplifications in template strings Warning test

Redundant curly braces

zishkaz merged commit afd0be3 into main

2 checks passed

zishkaz deleted the sergeyl/ts_arch branch

August 9, 2024 14:56

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet